Edmund M. Clarke: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (28)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Рік:

1999

Мова:

english

Файл:

DJVU, 1.88 MB

0 / 0

english, 1999

2

Model Checking (Cyber Physical Systems Series)

Model Checking (Cyber Physical Systems Series)

Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Рік:

2018

Мова:

english

Файл:

EPUB, 15.52 MB

0 / 5.0

english, 2018

3

Understanding Corporate Pension Plans

Understanding Corporate Pension Plans

The Financial Analysts Research Foundation (Research Foundation of CFA Institute)

Edmund A. Mennis, Chester D. Clark

Рік:

1983

Мова:

english

Файл:

PDF, 2.69 MB

0 / 0

english, 1983

4

Model checking

Model checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Рік:

1999

Мова:

english

Файл:

DJVU, 3.22 MB

0 / 0

english, 1999

5

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

Рік:

2008

Мова:

english

Файл:

PDF, 41.36 MB

0 / 0

english, 2008

6

Model Checking

Model Checking

Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith

Рік:

2018

Мова:

english

Файл:

EPUB, 13.56 MB

0 / 0

english, 2018

7

Model Checking

Model Checking

Edmund M. Clarke Jr., Orna Grumberg, Doron A. Peled

Рік:

1999

Мова:

english

Файл:

DJVU, 2.13 MB

0 / 0

english, 1999

8

Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

Application and Theory of Petri Nets 1994: 15th International Conference Zaragoza, Spain, June 20–24, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Robert Valette (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 5.98 MB

0 / 0

english, 1994

9

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 2.61 MB

0 / 0

english, 2002

10

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)

Рік:

1996

Мова:

english

Файл:

PDF, 10.56 MB

0 / 0

english, 1996

11

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)

Рік:

1996

Мова:

english

Файл:

DJVU, 5.03 MB

0 / 0

english, 1996

12

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.)

Рік:

1991

Мова:

english

Файл:

DJVU, 3.97 MB

0 / 0

english, 1991

13

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke, Paolo Zuliani (auth.), Tevfik Bultan, Pao-Ann Hsiung (eds.)

Рік:

2011

Мова:

english

Файл:

PDF, 6.99 MB

0 / 0

english, 2011

14

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Dragan Bošnački, Stefan Leue (eds.)

Рік:

2002

Мова:

english

Файл:

PDF, 3.46 MB

0 / 0

english, 2002

15

Artists/Hawaii

Artists/Hawaii

University of Hawaii Press

Joan Clarke (editor), Diane Dods (editor), Dana Edmunds (editor)

Рік:

2022

Мова:

english

Файл:

PDF, 77.79 MB

0 / 0

english, 2022

16

Socialist Development and Public Investment in Tanzania, 1964-73

Socialist Development and Public Investment in Tanzania, 1964-73

University of Toronto Press

W. Edmund Clark

Рік:

1978

Мова:

english

Файл:

PDF, 14.23 MB

0 / 0

english, 1978

17

Handbook of Model Checking

Handbook of Model Checking

Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem (eds.)

Рік:

2018

Мова:

english

Файл:

PDF, 10.90 MB

5.0 / 5.0

english, 2018

18

Handbook of model checking

Handbook of model checking

Springer International Publishing

Bloem, Roderick, Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut et al. (eds.)

Рік:

2018

Мова:

english

Файл:

PDF, 7.97 MB

0 / 0

english, 2018

19

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Edmund M. Clarke, Andrei Voronkov

Рік:

2011

Мова:

english

Файл:

PDF, 6.40 MB

0 / 0

english, 2011

20

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 2.27 MB

0 / 0

english, 2012

21

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems: Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

Springer Netherlands

Edmund M. Clarke, Flavio Lerda (auth.), Chairman S. Ramesh, Prahladavaradan Sampath (eds.)

Рік:

2007

Мова:

english

Файл:

PDF, 6.49 MB

0 / 0

english, 2007

22

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 5.38 MB

0 / 0

english, 2010

23

25 Years of Model Checking: History, Achievements, Perspectives

25 Years of Model Checking: History, Achievements, Perspectives

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)

Рік:

2008

Мова:

english

Файл:

DJVU, 4.00 MB

0 / 0

english, 2008

24

Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

Automated Deduction – CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28 – August 2, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Edmund M. Clarke (auth.), Franz Baader (eds.)

Рік:

2003

Мова:

english

Файл:

PDF, 5.72 MB

0 / 0

english, 2003

25

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Рік:

1984

Мова:

english

Файл:

DJVU, 5.98 MB

0 / 0

english, 1984

26

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Perspectives of Systems Informatics: 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Eike Best, Philippe Darondeau (auth.), Edmund Clarke, Irina Virbitskaite, Andrei Voronkov (eds.)

Рік:

2012

Мова:

english

Файл:

PDF, 5.51 MB

0 / 0

english, 2012

27

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)

Рік:

2010

Мова:

english

Файл:

PDF, 8.19 MB

0 / 0

english, 2010

28

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)

Рік:

1984

Мова:

english

Файл:

PDF, 14.67 MB

0 / 0

english, 1984